union 2,24

ABS: isl(x)

STM: isl wf

ABS: outl(x)

STM: outl wf

ABS: outr(x)

STM: outr wf


origin